Search results for "entailment relation"

Reguły działania a argumentacja

2016

Argumentacja niemonotoniczna ma być blisko rozumowań praktycznych i zdroworozsądkowych: wykonawcy czynności (agenci) opracowują plany działań i starają się plany te wykonać; często jednak są pozbawieni pełnego opisu sytuacji, ich wiedza jest cząstkowa, czynią założenia i podejmują decyzje oraz działania, w tym działania słowne, polegając na własnym doświadczeniu i nawykach. Powstające formalne struktury obejmują tzw. cyrkumskrypcje (circumscriptions), logikę domyśleń (default logic), logikę autoepistemiczną (autoepistemic logic), konsekwencje kumulatywne (cumulative consequences) i szereg innych. Można wyodrębnić dwa główne typy systemów rozumowań niemonotonicznych: systemy defi niowalne po…